(11/11) 1015 - Navigator 2.7

{{{ NavigatorPlugin 2.7
Source: Source code is in SVN with the tag XXXX (no SVN release numbers, please)
Announcement: German language update (rschwenn), fix #364, some gui items
missing localization properties.
Requires Java 1.7
Requires jEdit 05.03.01.00
Required plugins:
Code2HTML 0.7 (code2html.Code2HTMLPlugin)
Common Controls 1.7.4 (CommonControlsPlugin)

Short Description: Tracks position changes, and provides "Back" and "Forward" actions similar to a web browser. Also provides a manual position stack with "Push" and "Pop" actions.

Long Description: <p>
Keeps track of caret position changes on a stack. Provides
"Back" and "Forward" actions for easy navigability to previous positions
in your history. Provides a popup history dialog to allow for
non-sequential jumps through the history. </p>
<p> Also provides a manual position stack, with actions for <b>Push</b>,
<b>Pop</b>, <b>Goto Top</b>, and <b>Swap Caret with Top</b>.
</p>

}}}

Comments